Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures: 2852 (Lecture Notes in Computer Science)
by Marcello Bonsangue,Susanne Graf,Frank S.de Boer,Willem-Paul de Roever
ISBN 13: 9783540203032
Format: Paperback (520 pages) Publisher: Springer Published: 09 Oct 2003
Save for later